******* PAGE 8  SYL80.PUB ******* W
@Hendrix, G.
Expanding the Utility of Semantic Networks through Partitioning, %eProc IJCAI4%1 1975,
115-121 (SUM, I: use of spaces in nets, to achiev scoping, etc)

Hewitt, Carl
Viewing Control Structures as Patterns of Passing Messages, 
%eArtificial Intelligence%*, 8, 1977, 323-364 
(DR,I: actors; Hewitt's only comprehensible paper)

Hunt, E. and S. Poltrock
The Mechanics of Thought, in %eHuman Information Processing: Tutorials in
Performance and Cognition%*, B. Kantowitz (ed), Hillsdale, Erlbaum, 1974 (SURV,P)

Hunt, Earl B., %eArtificial Intelligence%*, Academic Press, Inc.,
New York, New York, 1975. 
(TEXT, D:good coverage of pattern recog. and perceptrons)

%eInternational Joint Conferences in Artificial Intelligence%*, held biannually
since 1969; proceedings available from program chairmen; best indicator of
current research trends

Jackson, Philip C., Jr., %eIntroduction to Artificial
Intelligence%*, Petrocelli Books, New York, New York, 1974.
Elementary; if you feel lost in some subfield, consult this.
(TEXT, )

Julesz, B., "Experiments in the Visual Perception of Texture";
%eScientific American%*, April 1975. (SUM)

Kanade, T.; "A Theory of Origami World";
Dept of Comp Sci, Carnegie-Mellon Univ, 1978, CMU-CS-78-144. (DR)

Kant, Elaine, "The Selection of Efficient Implementations for a
High-Level Language", %3Proceedings of the Symposium on Artificial
Intelligence and Programming Languages%*, %eSIGPLAN Notices%*, Volume 12,
Number 8, %eSIGART Newsletter%*, Number 64, August 1977, pages 140-146.

Kellogg, Charles, Philip Klahr, and Larry Travis.
Deductive Methods for Large Data Bases, %eProc IJCAI5%*, 1977, pp 203-209 (SUM,I:
ABSTRIPS-like skeletal plans can help deduction)

de Kleer, Johan, Jon Doyle, Guy L. Steele Jr, & Gerald Jay Sussman.
AMORD: Explicit Control of Reasoning, %eProc ACM Sym AI PL%*, SIGART #64, August
1977, 116-125 (SUM,I)

@Kling, Robert E., A Paradigm for Reasoning by Analogy,
%eArtificial Intelligence%*, 2, 1971, pp. 147-178.
(SUM, I:similar to Evans' idea, but analyzed further.)

Kuhn, Thomas, %eThe structure of scientific revolutions%*,
Chicago: University of Chicago press, 1972. (ESS,P,I: Paradigm shifts)

Lakatos, Imre, %eProofs and Refutations%*,  
(ESS,I: sprial of criticism and improvement of conjectures)

Land, E.H.; "The Retinex Theory of Color Vision";
%eScientific American%*, Dec 1977. (SUM)

Larson, J.B., and R.S. Michalski
Inductive Inference of VL Decision Rules, %eProc Wkshp Patt-Dir Inf Systems%*, 
SIGART 63, 1977, 38-44 (SUM)

Lehnert, Wendy,
Human and Computational Question Answering, %eCognitive Science%*, 1, 1977, 47-73 (SUM)

Lenat, Douglas B., BEINGS: Knowledge as Interacting Experts, %eProc IJCAI4%*, 1975, 126-133
(DR, I:beings)

@Lenat, Douglas B.,
Automated Theory Formation in Mathematics, %eProc IJCAI5%*, 1977, 833-842 
(SUM,I: heuristics 

 

Lenat, Douglas B., and John McDermott,
Less Than General Production System Architectures, %eProc IJCAI5%*, 1977, 928-932
(SURV, I: gain power by sacrificing generality)

Lesser, Victor R., and Lee E. Erman,
A Retrospective View of the HEARSAY-II Architecture, %eProc IJCAI5%*, 1977, 790-800 (SUM,P)

@Victor Lesser, Richard Fennell, Lee Erman and D. Raj Reddy, Organization
of the Hearsay II Speech Understanding System, %eIEEE Symposium on Speech
Recognition%*, Computer Science Dept., Carnegie Mellon Univ., 1974.
(SUM, I:modular system organiztion)

Lettvin, J., H.R. Maturana, W.S. McCulloch, and W.H. Pitts, What
the frog's eye tells the frog's brain, %eProceedings of the
IRE%* 47(1959), pp. 1940-1951. (SUM)

Lieberman, L., 
AUTOPASS, A Very High Level Programming Language for Mechanical Assembler
Systems,  IBM Watson Research Center Report RC 5599, No. 24205, 1975.

@Lighthill, Sir J., and Sutherland, Needham, Longuet-Higgins, and
Michie (1973) AI: A Paper Symposium; by the British Science Research
Council, April, 1973. A pro/con AI debate.  
Try to see the McCarthy, Michie vs. Lighthill debate on videotape.
(ESS, P, a general survey giving Lighthill's view on AI.  See McCarthy's response)

Lindsay, Peter H., and Norman, Donald A., %eHuman Information
Processing: An Introduction to Psychology%*, Academic Press, Inc.,
New York, New York, 1972, xxviii + 737 pages, $?.??.  
(TEXT, P a comprehensive elementary introduction to cognitive psychology from a
view congenial to AI).

London, R. L., "Perspectives on Program Verification", in Yeh, R. T.,
(ed), %eProgram Validation%*, %eCurrent Trends in Programming
Methodology%*, Volume 2, Prentice-Hall, Inc., 1977, pages 151-172.

Lozano-Perez, Tomas, and Patrick H. Winston, LAMA: A Language for Automatic
Mechanical Assembly, %eProc. IJCAI-5%*, 710-716. (SUM)

Low, James, and Rovner, Paul, "Techniques for the Automatic Selection of
Data Structures", %e Third ACM Symposium on Principles of Programming
Languages%*, January 1976; also TR4, Computer Science Department,
University of Rochester, Rochester, New York, November 1975.

Luckham, D. C., "Program Verification and Verification Oriented
Programming", invited paper, in Gilchrist, B., editor, %eInformation
Processing 77:  Proceedings of IFIP Congress 77%*, North-Holland
Publishing Company, Amsterdam, The Netherlands, 1977, pages 783-793.

@McCarthy, J., [ADVICE-TAKER] "Programs With Common Sense",
Stanford AI Memo AIM-7,,AD785044, 7 pages, September 1963.
For details, also look at also the following memo:
(ESS, I:what we need is...)

McCarthy, J., "Situations, Actions, and Causal Laws", Stanford AI Memo 2,July 1963.
(ESS/DR: I:You can formalize these notions)

@McCarthy, J. and Hayes, P. (1969) Some Philosophical Problems from
The Standpoint of AI.  %eMachine Intelligence 4%* (eds Meltzer and
Michie) pp. 463-502. Edinburgh University Press. 
(ESS/DR: I/D: More of the same as the last reading. Further developed.)

@McCarthy, John, Review of Lighthill debate, %eArtificial Intelligence%1,
5, 1974, 317-322 (ESS,P) 

McCarthy, John, %eMechanization of Thought Processes%*, Her Majesty's Stationery
Office, 1958.   Contains early McCarthy papers.

McCarthy, J.,
Ascribing Mental Qualities to Machines, draft, 1977 (ESS,P)

@McCarthy, J.,
Epistemological Problems of Artificial Intelligence, %eProc. IJCAI5%*, 1977, 1038-1044 
(ESS,I: what is AI still missing?)

McCune, Brian P., "The PSI Program Model Builder:  Synthesis
of Very High-Level Programs", %3Proceedings of the Symposium on Artificial
Intelligence and Programming Languages%*, %eSIGPLAN Notices%*, Volume 12,
Number 8, %eSIGART Newsletter%*, Number 64, August 1977, pages 130-139.


@McDermott, Drew V.,
Vocabularies for Problem Solver State Descriptions, %eProc. IJCAI5%*, 1977, 229-234
(SUM,I)

Manna, Zohar, %eMathematical Theory of Computation%*.
(TEXT, I/D: Read some book or article to gain familiarity with Prop and Pred Calc)

Manna, Zohar, and Richard Waldinger,
Synthesis: Dreams => Programs, AIM-302, Stanford, November 1977 (DR)

Manna, Zohar, and Richard Waldinger,
Knowledge and Reasoning in Program Synthesis, %eArtificial Intelligence%*, 6,
1975, 175-208 (ESS,I/P)

Manna, Zohar, and Richard Waldinger, "A Deductive Approach to Program
Synthesis," SRI AI Center Tech. Note 177, Dec. 1978.

@Manna, Zohar, Six Lectures on the logic of computer proramming, Stanford
AIM-318, Nov 1978 (SURV, I/P)

@Marr, D., "Representing Visual Information",
in A. Hansen & E.Riseman (eds), %eComputer Visual Systems%*, Academic Press, 1978.
Also MIT AI Lab Memo 415, May 1977. (ESS, P)

@Marr,D. and T.Poggio; "Cooperative Computation of Stereo Disparity";
%eScience%*, 194, Oct 1976, 283-287. (SUM)

Marr,D., "Analysis of Occluding Contour",
MIT AI Memo AIM 372, Oct 1976. (SUM)

@Martin and Fateman (1971) The MACSYMA System, in (S. Petrick, ed.)
%e2nd Symposium on Symbolic and Algebraic Manipulation%*. NY: ACM SIGSAM.
pp 59-75. 
(SUM,I: application of AI techniques to a specific domain area)

***** Arrow at Line 74 of 190 ***** Page 8 of 12 ***** 14R 1B *****